proving f is onto